Design Development of Module Assembly Typed Public Facilities
نویسندگان
چکیده
منابع مشابه
Sharing in Typed Module Assembly Language
There is a growing need to provide low-overhead software-based protection mechanisms to protect against malicious or untrusted code. Type-based approaches such as proof-carrying code and typed assembly language provide this protection by relying on untrusted compilers to certify the safety properties of machine language programs. Typed Module Assembly Language (TMAL) is an extension of typed as...
متن کاملTyped Cross - Module
Higher-order modules are very e ective in structuring large programs and de ning generic, reusable software components. Unfortunately, many compilation techniques for the core languages do not work across the module boundaries. As a result, few optimizing compilers support these module facilities well. This paper exploits the semantic property of ML-style modules to support e cient cross-module...
متن کاملModule Assembly
W hen people talk about modularity, they usually focus on separating the interface and implementation. The whole of point of a module is that it should hide a secret in its implementation that isn't apparent from the interface. A user can then take advantage of what the module does without knowing all the gory details of its implementation. For example, say we have a program that prints the nam...
متن کاملA Multithreaded Typed Assembly Language
We present an assembly language targeted at shared memory multiprocessors, where CPU cores synchronize via locks, acquired with a traditional test and set lock instruction. We show programming examples taken from the literature on Operating Systems, and discuss a typing system that enforces a strict protocol on lock usage and that prevents race conditions. 1. MOTIVATION The need for fast inform...
متن کاملStack-Based Typed Assembly Language
In previous work, we presented a Typed Assembly Language (TAL). TAL is sufficiently expressive to serve as a target language for compilers of high-level languages such as ML. This work assumed such a compiler would perform a continuation-passing style transform and eliminate the control stack by heap-allocating activation records. However, most compilers are based on stack allocation. This pape...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of the Korea Contents Association
سال: 2013
ISSN: 1598-4877
DOI: 10.5392/jkca.2013.13.12.650